Some Semantics for a Logical Language for the Game of Dominoes

Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been applied to study the role of knowledge in games and negotiations. The classical approach, the mathematical theory of games, does not facilitate explicit reasoning about the knowledge of the agents that interact in competitive situations. Dynamic epistemic logic has been used recently to provide formal methods to analyze how the knowledge of a set of agents changes as a consequence of actions. In this paper we develop a logical language for reasoning about the knowledge that flows during a match of dominoes; we call this language dynamic epistemic logical language for dominoes. Syntax of the language has been presented in a previous work. We define here a formal semantics for the epistemic part of our language.